Proof Explanation in the DR-DEVICE System
نویسندگان
چکیده
Trust is a vital feature for the Semantic Web: If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain their actions, sources, and beliefs, and this issue is the topic of the proof layer in the design of the Semantic Web. This paper presents the design of a system for proof explanation on the Semantic Web, based on defeasible reasoning. The basis of this work is the DR-DEVICE system that is extended to handle proofs. A critical aspect is the representation of proofs in an XML language, which is achieved by a RuleML language extension.
منابع مشابه
The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web
In this work we present the design and general architecture of DR-Prolog, a system for defeasible reasoning and proof explanation in the Semantic Web, and the implementation of three different tools that constitute the DR-Prolog Tool Suite: (a) the DR-Prolog API; (b) the DRProlog Web application; and (c) the DR-Prolog desktop application. DRProlog supports reasoning with Defeasible Logic theori...
متن کاملDesign and performance analysis of a seismic grade resonance nano accelerometer
In this paper, design and performance analysis of a resonance nanosensor for earthquake low frequency geoacoustic waves detection is proposed. The model comprises of a proof mass suspended to the substrate, and a nanobeam attached to the intersection of the proof mass to the substrate. The nanobeam could be cosidered as a clamped-clamped nanoresonator actuated electrostartically. The induced ac...
متن کاملTHE SYSTEM OF DIVINE MANIFESTATION IN IBN ‘ARABI’S SCHOOL OF THOUGHT
One of the fundamental problems of theoretical mysticism is how to explain the difference between God and the world on the basis of the idea of wahdat al-wujud (the unity of existence). Following the explanation of certain necessary premises, this paper presents the theory of divine manifestation as one that can explain and analyze multiplicity. In this article we especially seek t...
متن کاملStability Proof of Gain-Scheduling Controller for Skid-to-Turn Missile Using Kharitonov Theorem
Gain scheduling is one of the most popular nonlinear control design approaches which has been widely and successfully applied in fields ranging from aerospace to process control. Despite the wide application of gain scheduling controllers, there is a notable lack of analysis on the stability of these controllers. The most common application of these kinds of controllers is in the field of fligh...
متن کاملAnalysis and Study of the Embodiment of Actions from Ibn Arabi's Point of View According to Some Principles of Anthropology and Epistemology
Embodiment of deeds and beliefs in the afterlife is the subject of Islamic verses and narratives, and has long been one of the issues of interest to Muslim scholars. The proof and explanation of this idea by Mulla Sadra caused the religious scholars attention again to that, while the roots of this issue were raised in the works of mystics such as Ibn Arabi and his followers. Mohi al-Din has bee...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007